军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

激光导向车 (LGV) 的实时姿态检测及控制

提出了一种通过实时检测激光导向车的姿态来控制其行驶的方法,该方法的基本原理是依据激光接收阵的信息先推导出车的瞬间姿态（以角度偏差α和距离偏差Ｄ表征）,然后对两驱动轮的速度进行控制;在新的模型车上的实验结果表明,这种方法明显提高了车的运行精度,可望用于实际的ＬＧＶ。     

多传感器信息融合的谢弗－登普斯特方法

利用了谢弗－登普斯特方法讨论了两重假设下的多传感器信息融合问题。各个传磁器报告目标存在或目标不存在,所有的传感器报告都传输到信息融合中心,在这里利用了谢弗－登普斯特的组合法则,得到了信息融合中心的最终决策规则,并同多传感器信息融合的Ｌ－Ｒ试验方法进行了比较。     

信任函数理论在仿真评估中的应用

将信任函数理论应用到了仿真结果评估问题中,给出了总体仿真结果的信任函数和信念区间的计算方法。对仿真结果的真实性评估具有一定意义。这种思想和算法可推广应用到其它各种不确定性推理决策问题中去。     

Adaptive importance sampling for extreme quantile estimation with stochastic black box computer models

Quantile is an important quantity in reliability analysis, as it is related to the resistance level for defining failure events. This study develops a computationally efficient sampling method for estimating extreme quantiles using stochastic black box computer models. Importance sampling has been widely employed as a powerful variance reduction technique to reduce estimation uncertainty and improve computational efficiency in many reliability studies. However, when applied to quantile estimation, importance sampling faces challenges, because a good choice of the importance sampling density relies on information about the unknown quantile. We propose an adaptive method that refines the importance sampling density parameter toward the unknown target quantile value along the iterations. The proposed adaptive scheme allows us to use the simulation outcomes obtained in previous iterations for steering the simulation process to focus on important input areas. We prove some convergence properties of the proposed method and show that our approach can achieve variance reduction over crude Monte Carlo sampling. We demonstrate its estimation efficiency through numerical examples and wind turbine case study.     

圆度仪在形状和位置误差测量中的应用

本文对圆度仪的基本工作原理、功能特点以及在形状和位置误差测量中的应用，圆度仪的测量不确定度评定等几方面进行阐述。通过具体的实例论述了圆度仪是形位误差测量中较好的一种精密仪器，其应用软件功能强大、操作简便，提高了形位误差测量的准确性和工作效率。     

刚体定点转动欧拉运动学方程的群表示法

目前研究刚体定点转动欧拉运动学方程大多用矢量的方法,过程繁琐.本文拟用群理论理解刚体的定点转动.利用SO_(3)群的左不变形式,作用于左不变向量场d/dt得到欧拉运动学方程,并且给出计算李代数的左不变形式A(?)dA的一个简化方法.     

压电微动伺服机构

本文详尽论述了作为精密车床直线运动误差检测,补偿系统中的微动伺服机构的工作原理、伺服机构结构参数的优化设计以及为提高伺服机构的频响而设计的“有源高压放电电路”。最后,建立了压电微动伺服机构的静、动态特性的数学模型。     

某型平显可靠性增长目标可行性论证研究

旨在通过对某型平显可靠性增长目标可行性论证实践,提出以增长曲线趋势来评估研制和小批生产之中产品各阶段可能达到的可靠性水平的预测方法     

基于装配的计算机辅助设计

本文介绍了基于装配的计算机辅助设计（ＣＡＤ）的发展和相关工作,提出了一种组合体在计算机内的表征方案,并且着重对三维形体的计算机辅助图形装配技术进行了研究